تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۶۸ ثانیه یافت شد.

1. Automated Reasoning

پدیدآورنده : / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Automatic theorem proving--Congresses,Computer logic--Congresses

»
1
«

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them